Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science, and as a means of reasoning about the knowledge and belief of agents. This book provides a broad introduction to the subject, along with many exercises and their solutions. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5. Then they turn to applications in the context of distributed systems and (...) artificial intelligence. These include the notions of common knowledge, distributed knowledge, explicit and implicit belief, the interplays between knowledge and time, and knowledge and action, as well as a graded (or numerical) variant of the epistemic operators. The authors also discuss extensively the problem of logical omniscience. They cover Halpern & Moses' theory of honest formulas, and they make a digression into the realm of nonmonotonic reasoning and preferential entailment. They discuss Moore's autoepistemic logic, together with Levesque's related logic of "all I know". Furthermore, they show how one can base default and counterfactual reasoning on epistemic logic. Graduate students in philosophy or in computer science, especially those with an interest in AI, will find this book useful. (shrink)

Comrade Huang Yüeh-mien's article, "A Discussion of the Aesthetics of the Wealthy" [Lun shih-li che ti mei-hsüeh], which criticized my point of view in aesthetics, was published later than my self-criticism. Before he published it, he had presented it at a discussion meeting at Peking Teachers College. He let me read it only after he had submitted it to Literature [Wen-i pao] for publication. I wrote to the editor of Literature, Comrade K'ang Cho, saying that basically I accepted his criticisms (...) but that I wished to raise a number of points. I pointed out that the author's method of dealing with the problems of "empathy emotion," "forgetting self," and "inspiration" was not very different from the method that I had used before. I pointed out that "association of ideas" occupied an important position in his aesthetics — he seems to substitute "association of ideas of form" for "intuition of form." Furthermore, I stated that I did not think he had answered clearly the questions of whether "beauty exists in the mind or in the thing," of the relationship between beauty and sense of beauty, and of the difference between formal thought and abstract thought; and I said that I hoped he would give me more assistance with these questions. However, Comrade Huang Yüeh-mien for the most part ignored the points that I had raised and the questions to which I had sought answers, and he published in Literature the paper that he had presented at Peking Teachers College almost unaltered. Consequently, the questions that I raised concerning Comrade Huang Yüeh-mien's point of view in aesthetics remain unanswered. At that time I still felt that his point of view in aesthetics basically was materialistic, although there were some tendencies in it that raised doubts in my mind. This explains the fact that my judgments on idealist aesthetics remain to be improved. (shrink)

The English Synopsis is after the text of the book. The book presents an original and generalizing substantive vision of the philosophy of science through the prism of a detailed analysis of the polysystem structure of scientific theories. Theories are considered, firstly, as complex specialized forms of developed scientific thinking about the realities studied by natural science, secondly, as constantly improving tools for producing new knowledge in interaction with experimental research, and thirdly, as carriers of ordered and verified knowledge. Emphasis (...) is placed on their nominal and ontic subsystems. The book develops personal and joint research of the authors (theoretical physicist and philosopher), the experience of teaching philosophy of physics at NaUKMA, philosophy of science at the Higher School of Philosophy at the H. Skovoroda Institute of Philosophy of the National Academy of Sciences of Ukraine and theoretical physics at the National Technical University "Ihor Sikorsky Kyiv Polytechnic Institute". The research is based on a significant source base covering works of modern Western researchers in natural science and philosophy of science. For students, teachers, and scientists who are interested in the problems of modern philosophy of science and have a certain amount of scientific knowledge. It will also be useful for high school students who are eager to become scientists. (shrink)

1. Chesa ran muŏt in'ga -- 2. Sŏnsa-Koryŏ sidae ŭi tawŏnjŏk chesa munhwa -- 3. Chosŏn sidae Sŏul ŭi yugyosik chesa munhwa -- 4. Chesa munha ŭi kŭndaejŏk pyŏnyong kwa hyŏndaejŏk sesokhwa.

Han Fei was a famous Legalist in the late Warring States period. During the struggle to criticize the Confucian school, he developed the theory of the "rule of law," which laid a theoretical groundwork on which the newly emerging landlord class could build a centralized feudal state. His works had been appreciated by Ch'in Shih-huang. When Ch'in Shih-huang read the book Han Fei Tzu, he sighed and said, "I would feel no regret about dying if I could meet this person (...) and become his friend." Later Ch'in Shih-huang applied this progressive theory of Han Fei in practice and developed it through practice. (shrink)